首页> 外文OA文献 >A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks

【2h】

A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks

机译：无线传感器网络ad Hoc路由协议自动形式验证综述

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Zhe Chen; Daqiang Zhang; Rongbo Zhu; Yinxue Ma; Ping Yin; Feng Xie;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks [J] . Zhe Chen, Daqiang Zhang, Rongbo Zhu, Sensor Letters: A Journal Dedicated to all Aspects of Sensors in Science, Engineering, and Medicine . 2013,第5期

机译：无线传感器网络的Ad Hoc路由协议的自动形式验证的综述
2. Load balanced routing protocols for ad hoc mobile wireless networks - [Topics in ad hoc and sensor networks] [J] . Chai Keong Toh, Anh-Ngoc Le, You-Ze Cho Communications Magazine, IEEE . 2009,第8期

机译：ad hoc移动无线网络的负载均衡路由协议-[ad hoc和传感器网络的主题]
3. Multihop routing protocols on wireless ad hoc sensor networks with modified MAC layer and broadcasting scheme [J] . Nguyen Tung T. Concurrency, practice and experience . 2021,第2期

机译：具有改进的MAC层和广播方案的无线Ad Hoc传感器网络上的多跳路由协议
4. Methodology for Formal Verification of Routing Protocols for Ad Hoc Wireless Networks [C] . Camara, D., Loureiro, GLOBECOM 2007, 2007 IEEE Global Telecommunications Conference . 2007

机译：Ad Hoc无线网络的路由协议的形式验证的方法
5. Dynamic energy efficient routing protocol for wireless ad-hoc and sensor networks [D] . Haque, Md. Enamul. 2015

机译：无线自组织和传感器网络的动态节能路由协议
6. Routing Protocols for Underwater Wireless Sensor Networks: Taxonomy Research Challenges Routing Strategies and Future Directions [O] . Anwar Khan, Ihsan Ali, Abdullah Ghani, 2018

机译：水下无线传感器网络的路由协议：分类研究挑战路由策略和未来方向
7. A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks [O] . Chen, Zhe, Zhang, Daqiang, Zhu, Rongbo, 2014

机译：ad Hoc路由协议的自动形式验证综述用于无线传感器网络

A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks

著录项

引文网络

相似文献

相关主题

期刊订阅